Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking

Beyond Toy Problems : A Logical Formalization of the Egg - Cracking Domain ( Preliminary Report

Formal research in object-level commonsense reasoning (csr) has concentrated on toy problems|problems that require only a few axioms to formalize. The resulting body of research is often narrow, since scaling down a problem factors out much of the diiculty. This paper aims to reverse this trend. We tackle a substantial problem in csr: the formalization of egg cracking. To do this, we develop th...

Cracking an Egg: An Exercise in Commonsense Reasoning

A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems

This paper introduces the Slick architecture and outlines how it may be applied to solve the well known Egg-Cracking Problem. In contrast to other solutions to this problem that are based on formal logics, the Slick architecture is based on general-purpose and low-resolution quantitative simulations. On this benchmark problem, the Slick architecture offers greater elaboration tolerance and allo...

Formalizing a Problem in Commonsense Physical Reasoning: The Egg-Cracking Problem

All true believers shall break their eggs at the convenient end: and which is the convenient end, seems, in my humble opinion, to be left to every man's conscience, or at least in the power of the chief magistrate to determine.

Simulation-based temporal projection of everyday robot object manipulation

Performing everyday manipulation tasks successfully depends on the ability of autonomous robots to appropriately account for the physical behavior of task-related objects. Meaning that robots have to predict and consider the physical effects of their possible actions to take. In this work we investigate a simulation-based approach to naive physics temporal projection in the context of autonomou...